This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types". It contains the RefinedC tool including its Coq development and the appendix for the paper
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compi...
This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compi...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
Item does not contain fulltextThis is the artifact for the POPL'22paper "VIP: Verifying Real-World C...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This archive contains the artifact for the CAV (Computer Aided Verification) 2023 paper "Ownership g...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
This is the artifact and appendix for the PLDI '23 paper 'Beyond Backtracking: Connections in Fine-G...
This archive contains the accompanying artifact for the PACMPL/OOPSLA 2021 paper "Translating C to S...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compi...
This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compi...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
Item does not contain fulltextThis is the artifact for the POPL'22paper "VIP: Verifying Real-World C...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This archive contains the artifact for the CAV (Computer Aided Verification) 2023 paper "Ownership g...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
This is the artifact and appendix for the PLDI '23 paper 'Beyond Backtracking: Connections in Fine-G...
This archive contains the accompanying artifact for the PACMPL/OOPSLA 2021 paper "Translating C to S...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compi...
This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compi...
DOI
Add to ORKG